#断言
A=1000
B=3000
C=500

#转账过程
B=B-C
# A=A+C

assert A+B==4000